(DNF) A logical formula consisting of a disjunction of

conjunctions where no conjunction contains a disjunction.

E.g. the DNF of (A or B) and C is (A and C) or (B and C).